1. Graph-Based Proof Procedures for Horn Clauses
پدیدآورنده : \ Stan Raatz
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Logic programming,Horn clauses,برنامهنویسی منطقی
رده :
E-Book
,
2. Graph-based proof procedures for horn clauses
پدیدآورنده : Stan Raatz.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Gráfelmélet,Horn-klóz,Logikai programozás
رده :
QA76
.
63
S736
1990
